<?php

declare(encoding='utf-8', ticks=1);

// some code
